Fix user manual regarding trace buffers.

 1. debug building is not needed for tracing buffer...
 2. ...but trace buffer default size is 0

Signed-off-by: Atsushi SAKAI <sakaia@jp.fujitsu.com>

diff --git a/docs/src/user.tex b/docs/src/user.tex
index 9c286e27f68b02061f5e8d0c3e176aca672b10d1..8c0e9712c926e54e3c4f6404ad95b477c5af26c5 100644 (file)
--- a/docs/src/user.tex
+++ b/docs/src/user.tex
@@ -1983,8 +1983,7 @@ editing \path{grub.conf}.
   kilobytes. In previous versions of Xen, suffixes were not supported
   and the value is always interpreted as kilobytes.
 \item [ tbuf\_size=xxx ] Set the size of the per-cpu trace buffers, in
-  pages (default 1).  Note that the trace buffers are only enabled in
-  debug builds.  Most users can ignore this feature completely.
+  pages (default 0).  
 \item [ sched=xxx ] Select the CPU scheduler Xen should use.  The
   current possibilities are `sedf' (default) and `bvt'.
 \item [ apic\_verbosity=debug,verbose ] Print more detailed